integrate(sqrt(1-1/4*cosh(x)^2),x)